Les réseaux d'engagements comme méthode pour modéliser le comportement dialogique des agents
نویسندگان
چکیده
In this article, we present the web of commitment methodology that allows us to specify the dialogical behavior of agents from the commitments that can be contracted between them and from the links that can exist between those commitments. At first, we present the DIAGAL agent communication language which is based on social commitments and dialogue games that are defined as structures regulating the mechanism under which some commitments are discussed through the dialogue. Then, we present our social commitments model to explain how the agent who uses DIAGAL can use the dialogue games to manipulate the commitments. For that, we introduce the web of commitments concept which makes it possible to specify the causality links that exist between various commitments of a multi-agent system. Finally, we explain using an illustrative example how we could implement, through our simulator, our concepts and ideas. MOTS-CLÉS : langages de communication agent, protocoles d’interaction, dialogue, modélisation.
منابع مشابه
Combinaison de spécifications formelles pour la modélisation des systèmes d'information. (Coupling of formal specifications for modelling information systems)
State Machines [Gur95]. Les Abstract State Machines (ASM), appelées aussi Evolving Algebras (EA), ont pour but de relier les spécifications de type algébrique et leur modèle sémantique. L’approche consiste à construire des machines (appelées aussi “e-algèbres”) qui représentent les systèmes de manière à ce que la correction des spécifications soit établie par de simples observations et vérifica...
متن کاملApprentissage de structure des réseaux bayésiens et données incomplètes
Résumé. Le formalisme des modèles graphiques connait actuellement un essor dans les domaines du machine learning. En particulier, les réseaux bayésiens sont capables d’effectuer des raisonnements probabilistes à partir de données incomplètes alors que peu de méthodes sont actuellement capables d’utiliser les bases d’exemples incomplètes pour leur apprentissage. En s’inpirant du principe de ams-...
متن کاملWireless Broadcast with Network Coding in Mobile Ad-Hoc Networks: DRAGONCAST
Network coding is a recently proposed method for transmitting data, which has been shown to have potential to improve wireless network performance. We study network coding for one specific case of multicast, broadcasting, from one source to all nodes of the network. We use network coding as a loss tolerant, energy-efficient, method for broadcast. Our emphasis is on mobile networks. Our contribu...
متن کاملSpécification et vérification formelles des systèmes de composants répartis. (Formal specification and verification of distributed component systems)
ion→ abstraction id of id ’{’ abstraction de types TypeDecl∗ déclarations de type Field∗ variables locales Constructor∗ constructeurs abstraits Operator∗ opérateurs abstraits ’}’ Constructor→ Type ’(’ args ’)’ sign. du constructeur concret [ abstracted as Type ’(’ args ’)’ ’{’ Body ’}’ ] version abstraite Operator→ Type id ’(’ args ’)’ sign. du operateur concret [ abstracted as Type id ’(’ args...
متن کاملLes Zero-Safe Nets pour la Préservation de la TTC dans les Diagrammes d'Activité d'UML
Résumé. Avec les extensions d’UML 2.0, les réseaux de Petri, utilisés comme cadre sémantique formel pour les diagrammes d’activité d’UML, ne permettent plus d’exprimer les nouvelles constructions de haut niveau telles que la traverse-to-completion. Cette dernière nécessite une synchronisation globale entre les nœuds fork et join, totalement absente dans les réseaux de Petri ordinaires offrant u...
متن کامل